On existential declarations of independence in IF Logic

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whether a sentence beginning with such prefix exists such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences. The main theorem allows us to describe the behaviour of various particular classes of quantifier prefixes, and to prove as a remarkable corollary that all existential IF sentences are equivalent to first-order sentences. As a further consequence, we prove that the fragment of IF sentences with knowledge memory has only first-order expressive power (up to truth equivalence)

Some observations about generalized quantifiers in logics of imperfect information

We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engstrom. comparing them with a more general, higher order definition of team quantifier. We show that Engstrom's definitions (and other quantifiers from the literature) can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engstrom's quantifiers only range over the latter. We further argue that Engstrom's definitions are just embeddings of the first-order generalized quantifiers into team semantics. and fail to capture an adequate notion of team-theoretical generalized quantifier, save for the special cases in which the quantifiers are applied to flat formulas. We also raise several doubts concerning the meaningfulness of the monotone/nonmonotone distinction in this context. In the appendix we develop some proof theory for Engstrom's quantifiers.Peer reviewe

Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences

In the literature on logics of imperfect information it is often stated, incorrectly, that the Game-Theoretical Semantics of Independence-Friendly (IF) quantifiers captures the idea that the players of semantical games are forced to make some moves without knowledge of the moves of other players. We survey here the alternative semantics for IF logic that have been suggested in order to enforce this "epistemic reading" of sentences. We introduce some new proposals, and a more general logical language which distinguishes between "independence from actions" and "independence from strategies". New semantics for IF logic can be obtained by choosing embeddings of the set of IF sentences into this larger language. We compare all the semantics proposed and their purported game-theoretical justifications, and disprove a few claims that have been made in the literature.Peer reviewe

Team semantics for interventionist counterfactuals and causal dependence

We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. The evaluation of counterfactuals may involve the production of partially determined teams. We suggest a way of dealing with such cases by 1) the introduction of formal entries in causal teams, and 2) the introduction of weaker truth values (falsifiability and admissibility), for which we suggest some plausible semantical clauses. We introduce formal languages for both deterministic and probabilistic causal discourse, and study in some detail their inferential aspects. Finally, we apply our framework to the analysis of direct and total causation, and other notions of dependence and invariance.Non peer reviewe

Interventionist counterfactuals on causal teams

arXiv:1901.00073We introduce an extension of team semantics which provides a framework for the logic of manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them. Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.Peer reviewe

Counterfactuals and dependencies on causal teams: expressive power and deduction systems

Peer reviewe

Characterizing counterfactuals and dependencies over (generalized) causal teams

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.Peer reviewe

Independence-friendly logic without Henkin quantification

We analyze the expressive resources of IF logic that do not stem from Henkin (partially-ordered) quantification. When one restricts attention to regular IF sentences, this amounts to the study of the fragment of IF logic which is individuated by the game-theoretical property of action recall (AR). We prove that the fragment of prenex AR sentences can express all existential second-order properties. We then show that the same can be achieved in the non-prenex fragment of AR, by using “signalling by disjunction” instead of Henkin or signalling patterns. We also study irregular IF logic (in which requantification of variables is allowed) and analyze its correspondence to regular IF logic. By using new methods, we prove that the game-theoretical property of knowledge memory is a first-order syntactical constraint also for irregular sentences, and we identify another new first-order fragment. Finally we discover that irregular prefixes behave quite differently in finite and infinite models. In particular, we show that, over infinite structures, every irregular prefix is equivalent to a regular one; and we present an irregular prefix which is second order on finite models but collapses to a first-order prefix on infinite models.Peer reviewe

Evaluación y análisis de la capacidad funcional en personas mayores que realizan revitalización geriátrica en un periodo de cuatro años

[ES] El envejecimiento del ser humano es un proceso biológico, universal y deletéreo. Existe un envejecimiento de la población que habita los países desarrollados, debido en gran medida al aumento de la esperanza de vida y al aumento de la esperanzada de vida sana al nacer, junto con un descenso de los nacimientos. Esto supone un incremento en el gasto socio-sanitario. La Fisioterapia como disciplina de las Ciencias de la Salud, aborda los aspectos promocionadores y preventivos del estado de salud de la población, también en las personas mayores. Así mediante programas de ejercicio físico, que se engloban dentro de la Cinesiterapia, una de las disciplinas fundamentales de la Fisioterapia, se puede influir sobre el proceso de envejecimiento y el estado de morbilidad de este grupo de población, cada vez más numeroso. Los objetivos de este trabajo han sido demostrar como el ejercicio físico en personas mayores que participan en un Programa de Revitalización Geriátrica (PReGe) durante un periodo de cuatro años consecutivos modifica su capacidad funcional, valorada mediante la prueba de los 6 minutos marcha (6MWT), valorando parámetros antropométricos y cardiovasculares, así como la correlación de estos con la distancia recorrida en esta prueba de esfuerzo. En este estudio cuasiexperimental longitudinal prospectivo con línea de base se valoró inicialmente a 371 personas mayores de entre 60 a 92 años, finalizando el estudio 186 después de cuatro años de seguimiento. Los resultados obtenidos muestran que: 1. Las personas mayores que participan en el Programa de Revitalización Geriátrica durante un periodo de cuatro años disminuyen de peso e IMC, aumentando la proporción de los que presentan un peso normal, y en las mujeres disminuye la proporción de obesas. 2. La distancia recorrida en la 6MWT al cabo de cuatro años es significativamente menor. Caminando más distancia los que asisten a más del 75% de las sesiones. En esta pérdida podemos decir que influye el paso del tiempo, es decir, la edad influye en la disminución de la distancia recorrida de forma inversa, caminando de manera significativa menos a medida que nos hacemos mayores. Pero al mismo tiempo, la mayor adherencia a un programa de ejercicio físico, al PReGe, atenúa esta disminución, por lo tanto muestra su efecto beneficioso en el control de la pérdida funcional. 3. La distancia recorrida en la 6MWT también está influenciada por el sexo, caminando más los hombres que las mujeres de forma significativa, y por los parámetros antropométricos. En cuanto al peso, al IMC y a la circunferencia abdominal podemos decir que influyen de forma inversa, es decir, a mayores índices de obesidad menor distancia recorrida. Por el contrario la talla tiene una correlación directa, por lo que a mayor altura, mayor distancia recorrida. 4. Los mayores que participan en el Programa de Revitalización Geriátrica con mejor perfil cardiovascular, es decir, con un IMC normal o sobrepeso, que no tienen obesidad central ni riesgo cardiovascular y que asisten a más del 85% de las sesiones caminan significativamente más distancia. Así, los mayores con unos valores de tensión arterial de prehipertensión y de hipertensión arterial estadio I, que tienen un menor IMC y que no tienen obesidad central ni riesgo cardiovascular caminan significativamente más que aquellos que tienen mayor peso, bien con mayor IMC o con obesidad central y riesgo cardiovascular. 5. Ninguna de las ecuaciones de referencia de la 6 MWT publicadas hasta el momento sirve para un grupo de personas mayores activas no institucionalizadas que realizan el PReGe. 6. La ecuación de referencia propuesta para un grupo de personas mayores activas no institucionalizadas que realizan el PReGe en el municipio de Salamanca y que tiene un poder explicativo del 39%; incluyendo el sexo (2 hombres – 1 mujeres), la edad (años), la talla (en metros) y el peso (en kilos), es: 6MWT = 411,987 + (59,172*sexo) – (2,823*edad) + (261,677*talla) – (1,989*peso) 7. La 6MWT puede determinar la capacidad funcional de los mayores activos no institucionalizados que realizan el PReGe. Por el momento deberemos atender al porcentaje de variación de la distancia caminada sobre el valor teórico, o bien utilizar curvas de referencia estandarizadas ya publicadas, debido a la importancia clínica de los resultados de la prueba. A falta de futuros estudios que incluyan grupo control y puedan validar nuestra fórmula, habrá que utilizar estas formas de determinar la capacidad funcional de la población con características similares a nuestra muestra de estudio